Service contracts: A stochastic model

Querying service contracts

Considering a broad definition for service contracts (beyond web services and software, e.g. airlinetickets and insurance policies), we tackle the challenges of building a high performance broker inwhich contracts are both specified and queried through their temporal behavior. The temporaldimension, in conjunction with traditional relational attributes, enables our system to better ...

Constraints for Service Contracts

This paper focuses on client-service interactions distinguishing between three phases: negotiate, commit and execute. The participants negotiate their behaviours, and if an agreement is reached they commit and start an execution which is guaranteed to respect the interaction scheme agreed upon. These ideas are materialised through a calculus of contracts enriched with semiringbased constraints,...

A Stochastic Optimization Model for Groundwater Management

A Stochastic Model for Water Resources Management

Irrigation water management is crucial for agricultural production and livelihood security in many regions and countries throughout the world. Over the past decades, controversial and conflictladen water-allocation issues among competing municipal, industrial and agricultural interests have raised increasing concerns. Particularly, growing population, varying natural conditions and shrinking wa...

A Stochastic Optimization Model for Groundwater Management